derivative of (x↑↑3)